Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda en la clasificación temática MSC 2000: 03D60 (03C40 03C70 03D75 68Q05)
Mostrando 5 resultados encontrados.
 
03 Mathematical logic and foundations
  03C Model theory
    03C40 Interpolation, preservation, definability
    03C70 Logic on admissible sets
  03D Computability and recursion theory
    03D60 Computability and recursion theory on ordinals, admissible sets, etc.
    03D75 Abstract and axiomatic computability and recursion theory
 
68 Computer science
  68Q Theory of computing
    68Q05 Models of computation (Turing machines, etc.) [See also 03D10, 81P68]
 

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos